EN FR
EN FR


Section: Partnerships and Cooperations

European Initiatives

FP7 Projet

CRYSP
  • Title:CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs

  • Type: IDEAS ()

  • Instrument: ERC Starting Grant (Starting)

  • Duration: November 2010 - October 2015

  • Coordinator: Karthikeyan Bhargavan, INRIA (France)

  • Abstract: The goal of this grant proposal is to develop a collaborative specification framework and to build incremental, modular, scalable verification techniques that enable a group of collaborating programmers to build an application and its security proof side-by-side. We propose to validate this framework by developing the first large-scale web application and full-featured cryptographic protocol libraries with formal proofs of security.